RMTool: Recent Enhancements * *This work has been partially supported by CICYT - FEDER project DPI2014-57252-R.

Towards a Maude Tool forModel Checking Temporal Graph PropertiesThis work has been supported by the European project ASCENS

We present our prototypical tool for the verification of graph transformation systems. The major novelty of our tool is that it provides a model checker for temporal graph properties based on counterpart semantics for quantified μ-calculi. Our tool can be considered as an instantiation of our approach to counterpart semantics which allows for a neat handling of creation, deletion and merging in...

Has this prepubertal girl been sexually abused?

CONTEXT The legal and social sequelae of interpreting genital findings as indicative of sexual abuse are significant. While the absence of genital trauma does not rule out sexual abuse, the physical examination can identify genital findings compatible with sexual abuse. OBJECTIVES To determine the diagnostic utility of the genital examination in prepubertal girls for identifying nonacute sexu...

This abstract has also been published as O37

This abstract has also been published as O41

This abstract has also been published as O9